Truth and Proof
ثبت نشده
چکیده
T he subject of this article is an old one. It has been frequently dis cussed in modern logical and phil osophical literature, and it would not be easy to contribute anything original to the discussion. To many readers, I am afraid, none of the ideas put forward in the article will appear essentially novel ; nonetheless , I hope they may find some interest in the way the material has been arranged and knitted together. As the title indicates, I wish to discuss here two different though related no tions : the notion of truth and the notion of proof. Actually the article is divided into three sections. The first section is concerned exclusively with the notion of truth, the second deals primarily with the notion of proof, and the third is a dis cussion of the relationship between these two notions.
منابع مشابه
“Stop, You’re Killing us!” An Alternative Take on Populism and Public Health; Comment on “The Rise of Post-truth Populism in Pluralist Liberal Democracies: Challenges for Health Policy”
Ewen Speed and Russell Mannion correctly identify several contours of the challenges for health policy in what it is useful to think of as a post-democratic era. I argue that the problem for public health is not populism per se, but rather the distinctive populism of the right coupled with the failure of the left to develop compelling counternarratives. Further, defences of ‘science’ must be te...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملتعدد اقرار در جرایم علیه عفت عمومی
Detection of the truth has been ever one of the important concerns of scientists in the sciences related to judicial issues. In penal problems, to detect the truth, the evidences are resorted which are referred to as proof evidences. These evidences or in other word their queen is confession. The confession as the queen of evidences has special position in Islamic judicial context. In penal l...
متن کاملA proof-theoretic account of classical principles of truth
This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truththeoretic principles as isolated in Leigh and Rathjen 2012.
متن کاملLogics preserving degrees of truth from varieties of residuated lattices
A wrong argument in the proof of one of the main results in the paper is corrected. The result itself remains true. The right proof incorporates the basic ideas in the originally alleged proof, but in a more restricted construction.
متن کاملTruth functionality and measure-based logics
We present a truth-functional semantics for necessity-valued logics, based on the forcing technique. We interpret possibility distributions (which correspond to necessity measures) as informational states, and introduce a suitable language (basically, an extension of classical logic, similar to Pavelka’s language). Then we define the relation of “forcing” between an informational state and a fo...
متن کامل